extension | φ:Q→Out N | d | ρ | Label | ID |
(D4xD5).1C22 = D20.29D4 | φ: C22/C1 → C22 ⊆ Out D4xD5 | 80 | 4 | (D4xD5).1C2^2 | 320,1434 |
(D4xD5).2C22 = D8:11D10 | φ: C22/C1 → C22 ⊆ Out D4xD5 | 80 | 4 | (D4xD5).2C2^2 | 320,1442 |
(D4xD5).3C22 = D8:6D10 | φ: C22/C1 → C22 ⊆ Out D4xD5 | 80 | 8- | (D4xD5).3C2^2 | 320,1447 |
(D4xD5).4C22 = C40.C23 | φ: C22/C1 → C22 ⊆ Out D4xD5 | 80 | 8+ | (D4xD5).4C2^2 | 320,1450 |
(D4xD5).5C22 = D8xF5 | φ: C22/C1 → C22 ⊆ Out D4xD5 | 40 | 8+ | (D4xD5).5C2^2 | 320,1068 |
(D4xD5).6C22 = D40:C4 | φ: C22/C1 → C22 ⊆ Out D4xD5 | 40 | 8+ | (D4xD5).6C2^2 | 320,1069 |
(D4xD5).7C22 = SD16xF5 | φ: C22/C1 → C22 ⊆ Out D4xD5 | 40 | 8 | (D4xD5).7C2^2 | 320,1072 |
(D4xD5).8C22 = SD16:F5 | φ: C22/C1 → C22 ⊆ Out D4xD5 | 40 | 8 | (D4xD5).8C2^2 | 320,1073 |
(D4xD5).9C22 = C2xD5xSD16 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 80 | | (D4xD5).9C2^2 | 320,1430 |
(D4xD5).10C22 = D5xC4oD8 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 80 | 4 | (D4xD5).10C2^2 | 320,1439 |
(D4xD5).11C22 = D5xC8.C22 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 80 | 8- | (D4xD5).11C2^2 | 320,1448 |
(D4xD5).12C22 = C2xD20:C4 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 80 | | (D4xD5).12C2^2 | 320,1104 |
(D4xD5).13C22 = (D4xC10):C4 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 40 | 8+ | (D4xD5).13C2^2 | 320,1105 |
(D4xD5).14C22 = C4oD4:F5 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 40 | 8 | (D4xD5).14C2^2 | 320,1131 |
(D4xD5).15C22 = C4oD20:C4 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 80 | 8 | (D4xD5).15C2^2 | 320,1132 |
(D4xD5).16C22 = C2xD4xF5 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 40 | | (D4xD5).16C2^2 | 320,1595 |
(D4xD5).17C22 = D10.C24 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 40 | 8+ | (D4xD5).17C2^2 | 320,1596 |
(D4xD5).18C22 = C4oD4xF5 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 40 | 8 | (D4xD5).18C2^2 | 320,1603 |
(D4xD5).19C22 = D5.2+ 1+4 | φ: C22/C2 → C2 ⊆ Out D4xD5 | 40 | 8 | (D4xD5).19C2^2 | 320,1604 |
(D4xD5).20C22 = D5x2- 1+4 | φ: trivial image | 80 | 8- | (D4xD5).20C2^2 | 320,1624 |